/* testfiles.c
 *	Simple program to test the file handling system calls
 */

#include "syscall.h"

int main() {
    int i;
    i = Exec("../test/halt", 12);
}
